Functional reactive programming - PDFSEARCH.IO - Document Search Engine

Functional reactive programming
Results: 55

#	Item
41	Weak models of data consistency Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed ”Mirage” [3] which compiles complex applicat Add to Reading List Source URL: gazagnaire.org Language: English - Date: 2013-11-18 12:09:12 Functional languages OCaml Caml International Conference on Functional Programming ML Virtual machine Cloud computing Reactive programming International Conference on Architectural Support for Programming Languages and Operating Systems Computing Software engineering Computer programming
42	Weak models of data consistency Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed ”Mirage” [3] which compiles complex applicat Add to Reading List Source URL: thomas.gazagnaire.org Language: English - Date: 2013-11-18 12:09:12 Functional languages OCaml Caml International Conference on Functional Programming ML Virtual machine Cloud computing Reactive programming International Conference on Architectural Support for Programming Languages and Operating Systems Computing Software engineering Computer programming
43	Higher-Order Functional Reactive Programming in Bounded Space Neelakantan R. Krishnaswami Nick Benton Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-11-14 06:01:35 Functional programming Algebraic topology Fold Recursion Valuation Sheaf Append Monad Natural deduction Abstract algebra Software engineering Declarative programming
44	Functional Reactive Programming With Frappuccino @steveklabnik Add to Reading List Source URL: euruko2013.org - Date: 2013-09-04 18:42:59
45	Functional Reactive Animation in SVG for the Web via Links Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2012-01-16 11:25:38 Graphics file formats Reactive programming Functional languages Java platform Scalable Vector Graphics Functional reactive programming Scala Animation Computing Software engineering Evaluation strategy
46	Accepted for publication in MODULARITY[removed]REScala: Bridging Between Object-oriented Add to Reading List Source URL: www.stg.tu-darmstadt.de Language: English - Date: 2014-01-15 17:31:26 Programming paradigms Evaluation strategy Signal processing Reactive programming Functional languages Functional programming Signal ALGOL 68 ATS Software engineering Computing Computer programming
47	The University of New South Wales School of Computer Science and Engineering Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-10-29 22:32:04 Computer programming Evaluation strategy Functional programming Domain-specific language Declarative programming Reactive programming Haskell Functional reactive programming Imperative programming Software engineering Programming paradigms Computing
48	Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-11-14 10:13:24 Mathematics Linear temporal logic Temporal logic Monad Limit Initial and terminal objects Functor Modal logic Cone Category theory Abstract algebra Adjoint functors
49	Event-Driven FRP Zhanyong Wan, Walid Taha, and Paul Hudak Department of Computer Science, Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2001-11-16 19:56:54 Evaluation strategy Functional programming Functional reactive programming